Nuprl Definition : map
11,40
postcript
pdf
map(
f
;
as
) == rec-case(
as
) of [] => [] |
a
::
as'
=>
.cons((
f
(
a
)); map(
f
;
as'
))
(recursive)
latex
Definitions
Y
,
x
.
A
(
x
)
,
rec-case(
a
) of [] =>
s
|
x
::
y
=>
z
.
t
(
x
;
y
;
z
)
,
[]
,
cons(
car
;
cdr
)
,
f
(
a
)
FDL editor aliases
map
origin
x.A(x)x.A(x)